(DEFPROP LANG (NIL LANG ISITM ISITNM MAKVAR PREPREDLET INFPREDLET INFN PREFN VARNO VARTBL <PREPREDLET> <INFPREDL~
ET> <PREFN> <INFN> <IVAR> >PREPREDLET< >INFPREDLET< >PREFN< >INFN< >IVAR<) VALUE) 

(LAP MAKVAR SUBR) 
	(PUSH P 1) 
	(MOVE 2 (SPECIAL VARTBL)) 
	(CALL 2 (E ASSOC)) 
	(PUSH P 1) 
	(JUMPE 1 TAG5) 
	(HRRZ@ 1 1) 
	(JRST 0 TAG1) 
TAG5 	(MOVE 1 (SPECIAL VARNO)) 
	(CALL 1 (E ADD1)) 
	(MOVEM 1 (SPECIAL VARNO)) 
	(MOVE 2 -1 P) 
	(CALL 2 (E XCONS)) 
	(MOVE 2 (SPECIAL VARTBL)) 
	(CALL 2 (E CONS)) 
	(MOVEM 1 (SPECIAL VARTBL)) 
	(MOVE 1 (SPECIAL VARNO)) 
TAG1 	(SUB P (C 0 0 2 2)) 
	(POPJ P) 
	NIL 

(DEFPROP PREPREDLET (NIL P Q R E) VALUE) 

(DEFPROP INFPREDLET (NIL ε < = ≤) VALUE) 

(DEFPROP INFN (NIL ⊗ //) VALUE) 

(DEFPROP PREFN (NIL 0 1 A B C F) VALUE) 

(DEFPROP VARNO (NIL . 0) VALUE) 

(LAP SUBFUN1<PREPREDLET> SUBR) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(MOVE 1 (SPECIAL PREPREDLET)) 
	(CALL 1 (E ISIT)) 
	(MOVEM 1 0 P) 
	(JUMPE 1 TAG5) 
	(JRST 0 TAG4) 
TAG5 	(MOVE 1 (SPECIAL *NIL*)) 
TAG4 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP <PREPREDLET> SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1<PREPREDLET>)) 
	(MOVEI 1 (QUOTE PREPREDLET)) 
	(JCALL 2 (E NLRR)) 
	NIL 

(LAP SUBFUN1<INFPREDLET> SUBR) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(MOVE 1 (SPECIAL INFPREDLET)) 
	(CALL 1 (E ISIT)) 
	(MOVEM 1 0 P) 
	(JUMPE 1 TAG5) 
	(JRST 0 TAG4) 
TAG5 	(MOVE 1 (SPECIAL *NIL*)) 
TAG4 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP <INFPREDLET> SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1<INFPREDLET>)) 
	(MOVEI 1 (QUOTE INFPREDLET)) 
	(JCALL 2 (E NLRR)) 
	NIL 

(LAP SUBFUN1<PREDLET> SUBR) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(MOVE 2 (SPECIAL PREPREDLET)) 
	(MOVE 1 (SPECIAL INFPREDLET)) 
	(CALL 2 (E *APPEND)) 
	(CALL 1 (E ISIT)) 
	(MOVEM 1 0 P) 
	(JUMPE 1 TAG5) 
	(JRST 0 TAG4) 
TAG5 	(MOVE 1 (SPECIAL *NIL*)) 
TAG4 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP <PREDLET> SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1<PREDLET>)) 
	(MOVEI 1 (QUOTE PREDLET)) 
	(JCALL 2 (E NLRR)) 
	NIL 

(LAP SUBFUN1<FNLET> SUBR) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(MOVE 2 (SPECIAL PREFN)) 
	(MOVE 1 (SPECIAL INFN)) 
	(CALL 2 (E *APPEND)) 
	(CALL 1 (E ISIT)) 
	(MOVEM 1 0 P) 
	(JUMPE 1 TAG5) 
	(JRST 0 TAG4) 
TAG5 	(MOVE 1 (SPECIAL *NIL*)) 
TAG4 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP <FNLET> SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1<FNLET>)) 
	(MOVEI 1 (QUOTE FNLET)) 
	(JCALL 2 (E NLRR)) 
	NIL 

(LAP SUBFUN1<OP> SUBR) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(MOVE 1 (SPECIAL CONNECT)) 
	(CALL 1 (E ISITN)) 
	(MOVEM 1 0 P) 
	(JUMPE 1 TAG5) 
	(JRST 0 TAG4) 
TAG5 	(MOVE 1 (SPECIAL *NIL*)) 
TAG4 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP <OP> SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1<OP>)) 
	(MOVEI 1 (QUOTE OP)) 
	(JCALL 2 (E NLRR)) 
	NIL 

(LAP SUBFUN1<DECOP> SUBR) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(MOVE 1 (SPECIAL DECOP)) 
	(CALL 1 (E ISIT)) 
	(MOVEM 1 0 P) 
	(JUMPE 1 TAG5) 
	(JRST 0 TAG4) 
TAG5 	(MOVE 1 (SPECIAL *NIL*)) 
TAG4 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP <DECOP> SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1<DECOP>)) 
	(MOVEI 1 (QUOTE DECOP)) 
	(JCALL 2 (E NLRR)) 
	NIL 

(LAP SUBFUN1<AXIOMNAME> SUBR) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(MOVE 1 (SPECIAL AXIOMLST)) 
	(CALL 1 (E ISIT)) 
	(MOVEM 1 0 P) 
	(JUMPE 1 TAG5) 
	(JRST 0 TAG4) 
TAG5 	(MOVE 1 (SPECIAL *NIL*)) 
TAG4 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP <AXIOMNAME> SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1<AXIOMNAME>)) 
	(MOVEI 1 (QUOTE AXIOMNAME)) 
	(JCALL 2 (E NLRR)) 
	NIL 

(LAP SUBFUN1<PREFN> SUBR) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(MOVE 1 (SPECIAL PREFN)) 
	(CALL 1 (E ISIT)) 
	(MOVEM 1 0 P) 
	(JUMPE 1 TAG5) 
	(JRST 0 TAG4) 
TAG5 	(MOVE 1 (SPECIAL *NIL*)) 
TAG4 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP <PREFN> SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1<PREFN>)) 
	(MOVEI 1 (QUOTE PREFN)) 
	(JCALL 2 (E NLRR)) 
	NIL 

(LAP SUBFUN1<INFN> SUBR) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(MOVE 1 (SPECIAL INFN)) 
	(CALL 1 (E ISIT)) 
	(MOVEM 1 0 P) 
	(JUMPE 1 TAG5) 
	(JRST 0 TAG4) 
TAG5 	(MOVE 1 (SPECIAL *NIL*)) 
TAG4 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP <INFN> SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1<INFN>)) 
	(MOVEI 1 (QUOTE INFN)) 
	(JCALL 2 (E NLRR)) 
	NIL 

(LAP SUBFUN1<IVAR> SUBR) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(MOVE 1 (SPECIAL IVAR)) 
	(CALL 1 (E ISIT)) 
	(MOVEM 1 0 P) 
	(JUMPE 1 TAG5) 
	(CALL 1 (E MAKVAR)) 
	(JRST 0 TAG4) 
TAG5 	(MOVE 1 (SPECIAL *NIL*)) 
TAG4 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP <IVAR> SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1<IVAR>)) 
	(MOVEI 1 (QUOTE IVAR)) 
	(JCALL 2 (E NLRR)) 
	NIL 

(LAP SUBFUN1>PREPREDLET< SUBR) 
	(CALL 0 (E STK1)) 
	(MOVE 2 (SPECIAL PREPREDLET)) 
	(CALL 2 (E MEMQ)) 
	(JUMPE 1 TAG2) 
	(CALL 0 (E STK1)) 
TAG2 	(POPJ P) 
	NIL 

(LAP >PREPREDLET< SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1>PREPREDLET<)) 
	(JCALL 2 (E OUTRUL)) 
	NIL 

(LAP SUBFUN1>INFPREDLET< SUBR) 
	(CALL 0 (E STK1)) 
	(MOVE 2 (SPECIAL INFPREDLET)) 
	(CALL 2 (E MEMQ)) 
	(JUMPE 1 TAG2) 
	(CALL 0 (E STK1)) 
TAG2 	(POPJ P) 
	NIL 

(LAP >INFPREDLET< SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1>INFPREDLET<)) 
	(JCALL 2 (E OUTRUL)) 
	NIL 

(LAP SUBFUN1>PREFN< SUBR) 
	(CALL 0 (E STK1)) 
	(MOVE 2 (SPECIAL PREFN)) 
	(CALL 2 (E MEMQ)) 
	(JUMPE 1 TAG2) 
	(CALL 0 (E STK1)) 
TAG2 	(POPJ P) 
	NIL 

(LAP >PREFN< SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1>PREFN<)) 
	(JCALL 2 (E OUTRUL)) 
	NIL 

(LAP SUBFUN1>INFN< SUBR) 
	(CALL 0 (E STK1)) 
	(MOVE 2 (SPECIAL INFN)) 
	(CALL 2 (E MEMQ)) 
	(JUMPE 1 TAG2) 
	(CALL 0 (E STK1)) 
TAG2 	(POPJ P) 
	NIL 

(LAP >INFN< SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1>INFN<)) 
	(JCALL 2 (E OUTRUL)) 
	NIL 

(LAP SUBFUN1>DECOP< SUBR) 
	(CALL 0 (E STK1)) 
	(MOVE 2 (SPECIAL DECOP)) 
	(CALL 2 (E MEMQ)) 
	(JUMPE 1 TAG2) 
	(CALL 0 (E STK1)) 
TAG2 	(POPJ P) 
	NIL 

(LAP >DECOP< SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1>DECOP<)) 
	(JCALL 2 (E OUTRUL)) 
	NIL 

(LAP SUBFUN1>IVAR< SUBR) 
	(CALL 0 (E STK1)) 
	(CALL 1 (E NUMBERP)) 
	(JUMPE 1 TAG2) 
	(CALL 0 (E STK1)) 
	(MOVE 2 (SPECIAL OUTVAR)) 
	(CALL 2 (E ASSOC)) 
	(HRRZ@ 1 1) 
	(JRST 0 TAG1) 
TAG2 	(CALL 0 (E STK1)) 
	(CAIE 1 (QUOTE LENGTH)) 
	(JRST 0 TAG3) 
	(MOVE 1 (SPECIAL LENGTH)) 
	(JRST 0 TAG1) 
TAG3 	(CALL 0 (E STK1)) 
	(CAIE 1 (QUOTE DEPTH)) 
	(JRST 0 TAG4) 
	(MOVE 1 (SPECIAL DEPTH)) 
	(JRST 0 TAG1) 
TAG4 	(MOVEI 1 (QUOTE NIL)) 
TAG1 	(POPJ P) 
	NIL 

(LAP >IVAR< SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1>IVAR<)) 
	(JCALL 2 (E OUTRUL)) 
	NIL 

(LAP SUBFUN1>TM< SUBR) 
	(MOVEI 1 (QUOTE 1)) 
	(CALL 1 (E >IVAR<)) 
	(JUMPE 1 TAG2) 
	(CALL 0 (E STK1)) 
	(JRST 0 TAG1) 
TAG2 	(MOVEI 1 (QUOTE (*))) 
	(CALL 1 (E MATCH)) 
	(JUMPE 1 TAG3) 
	(MOVEI 1 (QUOTE 0)) 
	(CALL 1 (E >PREFN<)) 
	(JUMPE 1 TAG3) 
	(CALL 0 (E STK0)) 
	(JRST 0 TAG1) 
TAG3 	(MOVEI 1 (QUOTE (* * *))) 
	(CALL 1 (E MATCH)) 
	(JUMPE 1 TAG5) 
	(MOVEI 1 (QUOTE 2)) 
	(CALL 1 (E >INFN<)) 
	(JUMPE 1 TAG5) 
	(MOVEI 1 (QUOTE 1)) 
	(CALL 1 (E >TM<)) 
	(JUMPE 1 TAG5) 
	(MOVEI 1 (QUOTE 0)) 
	(CALL 1 (E >TM1<)) 
	(JUMPE 1 TAG5) 
	(CALL 0 (E STK1)) 
	(PUSH P 1) 
	(CALL 0 (E STK2)) 
	(PUSH P 1) 
	(CALL 0 (E STK0)) 
	(PUSH P 1) 
	(MOVEI 1 (QUOTE (:CH /)))) 
	(CALL 1 (E NCONS)) 
	(POP P 2) 
	(CALL 2 (E XCONS)) 
	(POP P 2) 
	(CALL 2 (E XCONS)) 
	(POP P 2) 
	(CALL 2 (E XCONS)) 
	(MOVEI 2 (QUOTE (:CH /())) 
	(CALL 2 (E XCONS)) 
	(JRST 0 TAG1) 
TAG5 	(MOVEI 1 (QUOTE (* . *))) 
	(CALL 1 (E MATCH)) 
	(JUMPE 1 TAG7) 
	(MOVEI 1 (QUOTE 1)) 
	(CALL 1 (E >PREFN<)) 
	(JUMPE 1 TAG7) 
	(MOVEI 1 (QUOTE 0)) 
	(CALL 1 (E >ITMLST<)) 
	(JUMPE 1 TAG7) 
	(CALL 0 (E STK1)) 
	(PUSH P 1) 
	(CALL 0 (E STK0)) 
	(CALL 1 (E NCONS)) 
	(POP P 2) 
	(CALL 2 (E XCONS)) 
	(JRST 0 TAG1) 
TAG7 	(MOVEI 1 (QUOTE 1)) 
	(CALL 1 (E >TM<)) 
	(JUMPE 1 TAG11) 
	(CALL 0 (E STK1)) 
	(PUSH P 1) 
	(MOVEI 1 (QUOTE (:CH /)))) 
	(CALL 1 (E NCONS)) 
	(POP P 2) 
	(CALL 2 (E XCONS)) 
	(MOVEI 2 (QUOTE (:CH /())) 
	(CALL 2 (E XCONS)) 
TAG11 
TAG1 	(POPJ P) 
	NIL 

(LAP >TM< SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1>TM<)) 
	(JCALL 2 (E OUTRUL)) 
	NIL 

(LAP SUBFUN1>AND1< SUBR) 
	(CALL 0 (E STK1)) 
	(CAIE 1 (QUOTE AND)) 
	(JRST 0 TAG2) 
	(MOVEI 1 (QUOTE (:CH ∧))) 
	(JRST 0 TAG1) 
TAG2 	(MOVEI 1 (QUOTE NIL)) 
TAG1 	(POPJ P) 
	NIL 

(LAP >AND1< SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1>AND1<)) 
	(JCALL 2 (E OUTRUL)) 
	NIL 

(LAP SUBFUN1>OR1< SUBR) 
	(CALL 0 (E STK1)) 
	(CAIE 1 (QUOTE OR)) 
	(JRST 0 TAG2) 
	(MOVEI 1 (QUOTE (:CH ∨))) 
	(JRST 0 TAG1) 
TAG2 	(MOVEI 1 (QUOTE NIL)) 
TAG1 	(POPJ P) 
	NIL 

(LAP >OR1< SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1>OR1<)) 
	(JCALL 2 (E OUTRUL)) 
	NIL 

(LAP SUBFUN1>NOT1< SUBR) 
	(CALL 0 (E STK1)) 
	(CAIE 1 (QUOTE NOT)) 
	(JRST 0 TAG2) 
	(MOVEI 1 (QUOTE (:CH ¬))) 
	(JRST 0 TAG1) 
TAG2 	(MOVEI 1 (QUOTE NIL)) 
TAG1 	(POPJ P) 
	NIL 

(LAP >NOT1< SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1>NOT1<)) 
	(JCALL 2 (E OUTRUL)) 
	NIL 

(LAP SUBFUN1>EQUIV1< SUBR) 
	(CALL 0 (E STK1)) 
	(CAIE 1 (QUOTE EQUIV)) 
	(JRST 0 TAG2) 
	(MOVEI 1 (QUOTE (:CH ≡))) 
	(JRST 0 TAG1) 
TAG2 	(MOVEI 1 (QUOTE NIL)) 
TAG1 	(POPJ P) 
	NIL 

(LAP >EQUIV1< SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1>EQUIV1<)) 
	(JCALL 2 (E OUTRUL)) 
	NIL 

(LAP SUBFUN1>IMP1< SUBR) 
	(CALL 0 (E STK1)) 
	(CAIE 1 (QUOTE IMP)) 
	(JRST 0 TAG2) 
	(MOVEI 1 (QUOTE (:CH ⊃))) 
	(JRST 0 TAG1) 
TAG2 	(MOVEI 1 (QUOTE NIL)) 
TAG1 	(POPJ P) 
	NIL 

(LAP >IMP1< SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1>IMP1<)) 
	(JCALL 2 (E OUTRUL)) 
	NIL 

(LAP SUBFUN1>QFF< SUBR) 
	(CALL 0 (E STK1)) 
	(CAIE 1 (QUOTE FA)) 
	(JRST 0 TAG2) 
	(MOVEI 1 (QUOTE (:CH ∀))) 
	(JRST 0 TAG1) 
TAG2 	(CALL 0 (E STK1)) 
	(CAIE 1 (QUOTE TE)) 
	(JRST 0 TAG3) 
	(MOVEI 1 (QUOTE (:CH ∃))) 
	(JRST 0 TAG1) 
TAG3 	(MOVEI 1 (QUOTE NIL)) 
TAG1 	(POPJ P) 
	NIL 

(LAP >QFF< SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1>QFF<)) 
	(JCALL 2 (E OUTRUL)) 
	NIL 

(LAP GET1 SUBR) 
	(PUSH P 1) 
	(PUSH P 2) 
	(CALL 1 (E NUMBERP)) 
	(JUMPE 1 TAG2) 
	(MOVEI 1 (QUOTE NIL)) 
	(JRST 0 TAG1) 
TAG2 	(MOVE 2 0 P) 
	(MOVE 1 -1 P) 
	(CALL 2 (E GET)) 
TAG3 
TAG1 	(SUB P (C 0 0 2 2)) 
	(POPJ P) 
	NIL 

(LAP SUBFUN1SPACING SUBR) 
	(MOVEI 1 (QUOTE (NIL . 0))) 
	(POPJ P) 
	NIL 

(LAP SPACING SUBR) 
	(PUSH P 1) 
	(MOVE 1 2) 
	(MOVEM 1 (SPECIAL LAST)) 
	(PUSH P 2) 
	(MOVEI 2 (QUOTE SPACING)) 
	(EXCH 1 -1 P) 
	(CALL 2 (E GET1)) 
	(MOVEI 3 (QUOTE SUBFUN1SPACING)) 
	(MOVE 2 1) 
	(POP P 1) 
	(CALL 3 (E SASSOC)) 
	(HRRZ@ 1 1) 
	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(DEFPROP CONNECT (NIL ; /) /( /. /, ≡ ⊃ → ↔ ∨ ∧ ∀ ∃ ¬ &) VALUE) 

(DEFPROP RESERVEDWORDS (NIL IMP EQUIV AND NOT OR FA TE) VALUE) 

(LAP DOPRINT SUBR) 
	(PUSH P 1) 
	(CALL 1 (E ATOM)) 
	(JUMPE 1 TAG2) 
	(MOVEI 2 (QUOTE >ATOM<)) 
	(MOVE 1 (SPECIAL LAST)) 
	(CALL 2 (E SPACES)) 
	(MOVE 1 0 P) 
	(CALL 1 (E PRINC)) 
	(JRST 0 TAG1) 
TAG2 	(HLRZ@ 1 0 P) 
	(CAIE 1 (QUOTE :CH)) 
	(JRST 0 TAG3) 
	(HRRZ@ 2 0 P) 
	(HLRZ@ 2 2) 
	(MOVE 1 (SPECIAL LAST)) 
	(CALL 2 (E SPACES)) 
	(HRRZ@ 1 0 P) 
	(HLRZ@ 1 1) 
	(CALL 1 (E PRINC)) 
	(JRST 0 TAG1) 
TAG3 	(HLRZ@ 1 0 P) 
	(CAIE 1 (QUOTE %IN)) 
	(TDZA 1 1) 
	(MOVEI 1 (QUOTE T)) 
	(JUMPN 1 TAG1) 
	(HRRZ@ 2 0 P) 
	(MOVEI 1 (QUOTE DOPRINT)) 
	(CALL 2 (E MAPC)) 
TAG4 
TAG1 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(DEFPROP DECTBL (NIL (PRE_OP . PREFN) (EQUALITY . EQUAL) (PRE_PRED . PREPREDLET) (INF_OP . INFN) (INF_PRED . INF~
PREDLET) (VAR . IVAR)) VALUE) 

(DEFPROP DECOP (NIL EQUALITY VAR INF_PRED INF_OP PRE_PRED PRE_OP) VALUE) 

(LAP OUTIT SUBR) 
	(JSP 6 SPECBIND) 
	(0 1 (SPECIAL XYZ)) 
	(0 0 (SPECIAL STFLG)) 
	(MOVEI 1 (QUOTE T)) 
	(MOVEM 1 (SPECIAL STFLG)) 
	(MOVEI 1 (QUOTE (>ST< XYZ))) 
	(CALL 17 (E OUT)) 
	(MOVEI 1 (QUOTE NIL)) 
	(JRST 0 SPECSTR) 
	NIL 

(LAP SUBFUN1>OP< SUBR) 
	(CALL 0 (E STK1)) 
	(MOVE 2 (SPECIAL CONNECT)) 
	(CALL 2 (E MEMQ)) 
	(JUMPE 1 TAG2) 
	(MOVEI 1 (QUOTE NIL)) 
	(JRST 0 TAG1) 
TAG2 	(CALL 0 (E STK1)) 
TAG3 
TAG1 	(POPJ P) 
	NIL 

(LAP >OP< SUBR) 
	(MOVEI 2 (QUOTE SUBFUN1>OP<)) 
	(JCALL 2 (E OUTRUL)) 
	NIL